Skip to content

Conversation

@Pankraz76
Copy link

currently obsolete, as can only be used via CLI. We dont have this.

@Goooler Goooler merged commit 59804f2 into diffplug:main Jan 12, 2026
20 checks passed
@Pankraz76
Copy link
Author

ty

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants